eclrepeat?($x$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecl\_ind($x$;$k$,${\it test}$.ff;$a$,$b$,${\it rec}_{1}$,${\it rec}_{2}$.ff;$a$,$b$,${\it rec}_{1}$,${\it rec}_{2}$.ff;$a$,$b$,${\it rec}_{1}$,${\it rec}_{2}$.ff;$a$,${\it rec}_{1}$.tt;$a$,$n$,${\it rec}_{1}$.ff;$a$,$n$,${\it rec}_{1}$.ff;$a$,$l$,${\it rec}_{1}$.ff)